Free shipping on all orders! No minimum purchase required.
Automated Reasoning
by Larry Wos, Ross Overbeck, Ewing Lusk, Jim Boyle
